# SPDX-License-Identifier: GPL-2.0
#
# Makefile for the seminix kernel.
#

TEXT_OFFSET := 0x00080000

CPPFLAGS_seminix.lds	:= -DTEXT_OFFSET=$(TEXT_OFFSET)
AFLAGS_head.o		:= -DTEXT_OFFSET=$(TEXT_OFFSET)

# Object file lists.
obj-y			:= setup.o entry.o entry-fpsimd.o smccc-call.o smp.o \
				process.o traps.o fpsimd.o cpu_ops.o smp_spin_table.o \
				setup.o psci.o cpu_errata.o cpufeature.o insn.o cpuinfo.o \
				irq.o time.o syscall.o signal.o sys.o ptrace.o

head-y := head.o
extra-y += $(head-y) seminix.lds
